Turn off ia64_pal_cache_flush for domU (temp, until failure understood)

diff --git a/xen/arch/ia64/xen/domain.c b/xen/arch/ia64/xen/domain.c
index a4636eb20d6799f0ff92353cf4c0257b02b9d0f0..97e26161f180c0fa403bdd3a74d530e3498386ac 100644 (file)
--- a/xen/arch/ia64/xen/domain.c
+++ b/xen/arch/ia64/xen/domain.c
@@ -273,6 +273,7 @@ int arch_set_info_guest(struct vcpu *v, struct vcpu_guest_context *c)
        if ( test_bit(_VCPUF_initialised, &v->vcpu_flags) )
             return 0;
 
+#ifdef CONFIG_IA64_SPLIT_CACHE
        /* Sync d/i cache conservatively */
        if (!running_on_sim) {
            ret = ia64_pal_cache_flush(4, 0, &progress, NULL);
@@ -280,6 +281,7 @@ int arch_set_info_guest(struct vcpu *v, struct vcpu_guest_context *c)
                panic("PAL CACHE FLUSH failed for domain.\n");
            printk("Sync i/d cache for dom0 image SUCC\n");
        }
+#endif
 
        if (c->flags & VGCF_VMX_GUEST) {
            if (!vmx_enabled) {